H\"older Regularity of Geometric Subdivision Schemes

We present a framework for analyzing non-linear $\mathbb{R}^d$-valued subdivision schemes which are geometric in the sense that they commute with similarities in $\mathbb{R}^d$. It admits to establish $C^{1,\alpha}$-regularity for arbitrary schemes of this type, and $C^{2,\alpha}$-regularity for an important subset thereof, which includes all real-valued schemes. Our results are constructive in the sense that they can be verified explicitly for any scheme and any given set of initial data by a universal procedure. This procedure can be executed automatically and rigorously by a computer when using interval arithmetics.Comment: 31 pages, 1 figur

Fast, Efficient Calculations of the Two-Body Matrix Elements of the Transition Operators for Neutrinoless Double Beta Decay

To extract information about the neutrino properties from the study of neutrinoless double-beta (0\nu\beta\beta) decay one needs a precise computation of the nuclear matrix elements (NMEs) associated with this process. Approaches based on the Shell Model (ShM) are among the nuclear structure methods used for their computation. ShM better incorporates the nucleon correlations, but have to face the problem of the large model spaces and computational resources. The goal is to develop a new, fast algorithm and the associated computing code for efficient calculation of the two-body matrix elements (TBMEs) of the 0\nu\beta{\beta} decay transition operator, which are necessary to calculate the NMEs. This would allow us to extend the ShM calculations for double-beta decays to larger model spaces, of about 9-10 major harmonic oscillator shells. The improvement of our code consists in a faster calculation of the radial matrix elements. Their computation normally requires the numerical evaluation of two-dimensional integrals: one over the coordinate space and the other over the momentum space. By rearranging the expressions of the radial matrix elements, the integration over the coordinate space can be performed analytically, thus the computation reduces to sum up a small number of integrals over momentum. Our results for the NMEs are in a good agreement with similar results from literature, while we find a significant reduction of the computation time for TBMEs, by a factor of about 30, as compared with our previous code that uses two-dimensional integrals.Comment: 6 pages, one figur

ACM/IEEE-CS information technology curriculum 2017: A status update

The IT2008 Curriculum Guidelines for Undergraduate Degree Programs in Information Technology has been showing its age, and in 2014, the ACM Education Board agreed to oversee the creation of a revision, now being referred to as IT2017. Much progress has been made, and a version 0.6 will be ready by Oct 2016. All proposed panel members are members of the IT2017 Task Group

Rings and arcs around evolved stars. II. The Carbon Star AFGL 3068 and the Planetary Nebulae NGC 6543, NGC 7009 and NGC 7027

We present a detailed comparative study of the arcs and fragmented ring-like features in the haloes of the planetary nebulae (PNe) NGC 6543, NGC 7009, and NGC 7027 and the spiral pattern around the carbon star AFGL 3068 using high-quality multi-epoch HST images. This comparison allows us to investigate the connection and possible evolution between the regular patterns surrounding AGB stars and the irregular concentric patterns around PNe. The radial proper motion of these features, ~15 km/s, are found to be consistent with the AGB wind and their linear sizes and inter-lapse times (500-1900 yr) also agree with those found around AGB stars, suggesting a common origin. We find evidence using radiative-hydrodynamic simulations that regular patterns produced at the end of the AGB phase become highly distorted by their interactions with the expanding PN and the anisotropic illumination and ionization patterns caused by shadow instabilities. These processes will disrupt the regular (mostly spiral) patterns around AGB stars, plausibly becoming the arcs and fragmented rings observed in the haloes of PNe.Comment: 13 pages, 9 figures, accepted for publication in MNRA

The Fermi Problem in Discrete Systems

The Fermi two-atom problem illustrates an apparent causality violation in Quantum Field Theory which has to do with the nature of the built in correlations in the vacuum. It has been a constant subject of theoretical debate and discussions during the last few decades. Nevertheless, although the issues at hand could in principle be tested experimentally, the smallness of such apparent violations of causality in Quantum Electrodynamics prevented the observation of the predicted effect. In the present paper we show that the problem can be simulated within the framework of discrete systems that can be manifested, for instance, by trapped atoms in optical lattices or trapped ions. Unlike the original continuum case, the causal structure is no longer sharp. Nevertheless, as we show, it is possible to distinguish between "trivial" effects due to "direct" causality violations, and the effects associated with Fermi's problem, even in such discrete settings. The ability to control externally the strength of the atom-field interactions, enables us also to study both the original Fermi problem with "bare atoms", as well as correction in the scenario that involves "dressed" atoms. Finally, we show that in principle, the Fermi effect can be detected using trapped ions.Comment: Second version - minor change

Modeling and analysis of systems with nonlinear functional dependence on random quantities

Many real-world systems exhibit noisy evolution; interpreting their finite-time behavior as arising from continuous-time processes (in the It\^o or Stratonovich sense) has led to significant success in modeling and analysis in a variety of fields. Here we argue that a class of differential equations where evolution depends nonlinearly on a random or effectively-random quantity may exhibit finite-time stochastic behavior in line with an equivalent It\^o process, which is of great utility for their numerical simulation and theoretical analysis. We put forward a method for this conversion, develop an equilibrium-moment relation for It\^o attractors, and show that this relation holds for our example system. This work enables the theoretical and numerical examination of a wide class of mathematical models which might otherwise be oversimplified due to a lack of appropriate tools.Comment: 13 pages, 6 figure

Interrogation of spline surfaces with application to isogeometric design and analysis of lattice-skin structures

A novel surface interrogation technique is proposed to compute the intersection of curves with spline surfaces in isogeometric analysis. The intersection points are determined in one-shot without resorting to a Newton-Raphson iteration or successive refinement. Surface-curve intersection is required in a wide range of applications, including contact, immersed boundary methods and lattice-skin structures, and requires usually the solution of a system of nonlinear equations. It is assumed that the surface is given in form of a spline, such as a NURBS, T-spline or Catmull-Clark subdivision surface, and is convertible into a collection of B\'ezier patches. First, a hierarchical bounding volume tree is used to efficiently identify the B\'ezier patches with a convex-hull intersecting the convex-hull of a given curve segment. For ease of implementation convex-hulls are approximated with k-dops (discrete orientation polytopes). Subsequently, the intersections of the identified B\'ezier patches with the curve segment are determined with a matrix-based implicit representation leading to the computation of a sequence of small singular value decompositions (SVDs). As an application of the developed interrogation technique the isogeometric design and analysis of lattice-skin structures is investigated. The skin is a spline surface that is usually created in a computer-aided design (CAD) system and the periodic lattice to be fitted consists of unit cells, each containing a small number of struts. The lattice-skin structure is generated by projecting selected lattice nodes onto the surface after determining the intersection of unit cell edges with the surface. For mechanical analysis, the skin is modelled as a Kirchhoff-Love thin-shell and the lattice as a pin-jointed truss. The two types of structures are coupled with a standard Lagrange multiplier approach